LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·19h·
Discuss: Hacker News
🔧Compiler Design
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
🔢Mathematical Logic
Show HN: Formalizing Strong Goldbach for AI Reasoning in HOL(Standard Semantics)
medium.com·1d·
Discuss: Hacker News
🔢Mathematical Logic
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·3h
🔢Mathematical Logic
Cogito V2 Preview
deepcogito.com·14h·
Discuss: Hacker News
🎲Probabilistic Programming
Constraint Catalog
sofdem.github.io·5h
🎯Constraint Programming
Follow-up: I Built a Simple Thread Pool in Zig After Asking About Parallelism
reddit.com·22h·
Discuss: r/Zig
⚡Concurrency
Azure Logic Apps for Orchestration
dev.to·37m·
Discuss: DEV
💭Prolog
Sometimes it's hard to be lazy
yamlscript.org·1d
⚙Functional Programming
Issue 483
haskellweekly.news·19h
⚙Functional Programming
Pattern Matching in Java: The Modern Way to Write Cleaner Code
dev.to·9h·
Discuss: DEV
⚙Functional Programming
JRM runs off at the mouth
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🧩Theorem Proving
Machine learning by satisfiability solving
johndcook.com·14h
📈Complexity Theory
Schematra: Sinatra inspired Chicken web framework
github.com·14h·
Discuss: Lobsters, Hacker News
🦀Rust
I am worried about near-term non-LLM AI developments
lesswrong.com·18h
🔗Parser Combinators
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·23h·
Discuss: Hacker News
🔗Parser Combinators
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
⚙Functional Programming
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·21h·
Discuss: Hacker News
⚙Functional Programming
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
🧩Theorem Proving
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·3h
🔐Cryptography